1. Alegbra de boole et machines logiques . Sous la direction de J. Kuntzmann/et/p.Naslin
پدیدآورنده : Kuntzmann
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Algebra, Boolean,Switching theory,Sequential machine theory
رده :
QA
267
.
5
.
S4K8
2. Algebre de Boole et machines logiques
پدیدآورنده : Kuntzmann, Jean
کتابخانه: (طهران)
موضوع : ، Algebra, Boolean,، Switching theory,، Sequential machine theory
رده :
QA
267
.
5
.
S4
K8
3. Algebre de Boole et machines logiques
پدیدآورنده : / Sous la direction de J. Kuntzmann [et] P. Naslin
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Algebra, Boolean,Switching theory,Sequential machine theory
رده :
QA267
.
5
.
S4K8
4. Algebre de Boole et machines logiques
پدیدآورنده : Kuntzmann, Jean
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Algebra, Boolean,، Switching theory,، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
K8
5. Asynchronous operators of sequential logic
پدیدآورنده : Vadim Vasyukevich
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Asynchronous circuits-- Design and construction,Logic design,Sequential machine theory,Sequential machine theory -- Mathematical models,Set theory,System analysis
رده :
QA76
.
9
.
L63
V37
2011
6. Asynchronous sequential machine design and analysis
پدیدآورنده : / Richard F. Tinder
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Asynchronous circuits, Mathematical models,Sequential circuits, Mathematical models,Sequential machine theory, Mathematical models,Asynchronous,Sequential,Sequencers,Logic,Machines,Digital,Self-timed,Arbiters
رده :
E-BOOK
7. Automata, languages, and programming :
پدیدآورنده : edited by J.W. de Bakker and J. van Leeuwen.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer programming -- Congresses.,Formal languages -- Congresses.,Machine theory -- Congresses.
8. Design methods for digital system
پدیدآورنده : / [by] J. Chinal. Transl. from French by A. Preston and A. Sumner
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA268
.
5
،.
C5213
9. Design methods for digital systems
پدیدآورنده : Chinal, Jean
موضوع : ، Switching theory,، Sequential machine theory,، Algebra, Boolean
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Digital Circuit Design for Computer Science Students :
پدیدآورنده : by Niklaus Wirth.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electronics.,Engineering.,Logic design.
رده :
TK7888
.
4
B965
1995
11. Digital principles switching theory /
پدیدآورنده : A.K. Singh, Manish Tiwari, Arun Prakash.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Digital electronics.,Switching theory.,Digital electronics.,Switching theory.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- General.,TECHNOLOGY & ENGINEERING-- Electronics-- Circuits-- Integrated.
رده :
TK7868
.
D5
S56
2006eb
12. Hierarchical perceptual grouping for object recognition :
پدیدآورنده : Eckart Michaelsen, Jochen Meidow.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Pattern recognition systems.,Pattern recognition systems.
رده :
TK7882
.
P3
M53
2019
13. Kinetic logic :
پدیدآورنده : ed. by René Thomas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Biomathematik.,Boolesche Algebra.,Boolescher Verband.
رده :
QH450
.
E339
1979
14. Kombinatorische und sequentielle Netzwerke Grundlagen und Anwendungen den Automatentheorie. Mit 103 Abbildungen und 23 Tabellen
پدیدآورنده : Schulte, Dieter
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Sequential machine theory,، Algebra, Boollean
رده :
QA
76
.
E532
Bd
.
11
15. Logical foundations of computer science :
پدیدآورنده : eds.: Anil Nerode ...
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع :
16. Mathematical Foundations of Computer Science 1976 :
پدیدآورنده : edited by Antoni Mazurkiewicz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science.,Computer Science.,Computers.
رده :
QA267
.
3
E358
1976
17. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
18. Papers presented at the Workshop on Feasible Mathematics :
پدیدآورنده : [Samuel R. Buss ... (eds.)].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Berechnungskomplexität.,Mathematik.
رده :
QA267
.
7
S268
1990
19. Regular algebra and finite machines
پدیدآورنده : / J. H. Conway
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Sequential machine theory,Algebra
رده :
629
.
891
C767
20. Regular algebra and finite machines
پدیدآورنده : Conway, John Horton
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Sequential machine theory,، Algebra
رده :
QA
267
.
5
.
S4
C65
